MATHEMATICAL ENGINEERING TECHNICAL REPORTS Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions

Source URL: www.keisu.t.u-tokyo.ac.jp

• Functions and mappings
• Mathematics
• Mathematical analysis
• Analysis
• Partial function
• Bidirectional transformation
• Derivative
• Combinatory logic
• Injective function
• Transformation
• Bidirectionalization
• Data transformation

Combinatory Logic and Program Synthesis Jakob Rehof Technical University of Dortmund Joint work w. B. D¨ udder, M. Martens (Dortmund) and P. Urzyczyn (Warsaw) and special thanks to Roger Hindley and the Torino λ-calcul

Source URL: www-seal.cs.tu-dortmund.de

· Combinators for Bi-Directional Tree Transformations App–1

Source URL: www.cis.upenn.edu

• Mathematical analysis
• Mathematics
• Operator theory
• Harmonic analysis
• Partial differential equations
• Complex analysis
• Five lemma
• Lemmas
• Combinatory logic
• Differential forms on a Riemann surface
• Sobolev spaces for planar domains

1 Monadic Parser Combinators Graham Hutton University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• Computer programming
• Parsing
• Functional programming
• Formal languages
• Compiler construction
• Parser combinator
• Monad
• Recursive descent parser
• Compiler-compiler
• Combinatory logic
• Syntax

Temporal Higher-Order Contracts Tim Disney Cormac Flanagan Jay McCarthy

Source URL: jeapostrophe.github.io

• Lambda calculus
• Combinatory logic
• Logic in computer science
• Computability theory
• Functions and mappings
• Formal methods
• Monad
• Derivative
• Trace

PDF Document

Source URL: ect.bell-labs.com

• Software development
• Software engineering
• Theoretical computer science
• Aspect-oriented software development
• Lambda calculus
• Aspect-oriented programming
• -calculus
• Pointcut
• Combinatory logic
• XTR

PDF Document

Source URL: fritzo.org

• Logic in computer science
• Lambda calculus
• Theoretical computer science
• Computability theory
• Combinatory logic
• A New Kind of Science
• Programming language
• Computer programming

Decreasing energy functions for some cellular automata E. Goles * Department of Mathematics Engineering School University of Chile

Source URL: www.dtc.umn.edu

• Combinatory logic
• Lambda calculus
• Logic in computer science
• Stochastic processes
• Estimation theory
• Heat equation
• Itō diffusion
• Statistics
• Mathematics
• Mathematical analysis

On the periods of some graph transformations A. M. Odlyzko AT&T Bell Laboratories Murray Hill, NJD. J. Randall AT&T Bell Laboratories

Source URL: www.dtc.umn.edu

• Lambda calculus
• Logic in computer science
• Holomorphic functional calculus
• Itō diffusion
• Mathematical analysis
• Mathematics
• Combinatory logic

Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies

Source URL: www.cis.upenn.edu

• Mathematics
• Combinatory logic
• Fixed-point combinator
• Recursion
• Camera lens
• Theoretical computer science
• Lambda calculus
• Applied mathematics